More from this Author

Automated Technology for Verification and Analysis

by Kedar S. Namjoshi (Editor), Teruo Higashino (Editor), Yoshio Okamura (Editor), Tomohiro Yoneda (Editor)